Modelling Periodic Temporal Notions by Labelled Partitionings of the Real Numbers – The PartLib Library
نویسنده
چکیده
The key notion for modelling calendar systems and many other periodic temporal notion is the mathematical concept of a partitioning of the real numbers. A partitioning of R splits the time axis into a sequence of intervals. Basic time units like seconds, minutes, hours, days, weeks, months, years etc. can all be represented by partitionings of R with finite partitions. Besides the basic time units in calendar systems, there are a lot of other temporal notions which can be modelled as partitions: the seasons, the ecclesiastical calendars, financial years, semesters at universities, the sequence of sunrises and sunsets, the sequence of the tides, the sequence of school holidays etc. In this paper a formalization of periodic temporal notions by means of labelled partitionings of R is presented. The formalism is implemented as the C++ library PartLib (Partitioning Library). The interface to PartLib is presented in the appendix. keywords: calendrical calculations, representation of time, ontology of temporal notions, time granularities, knowledge representation,.
منابع مشابه
Modelling Periodic Temporal Notions by Labelled Partitionings - The PartLib Library
The key notion for modelling calendar systems and many other periodic temporal notion is the mathematical concept of a partitioning of the real numbers. A partitioning of R splits the time axis into a sequence of intervals. Basic time units like seconds, minutes, hours, days, weeks, months, years etc. can all be represented by partitionings of R with finite partitions. Besides the basic time un...
متن کاملPeriodic Temporal Notions as ‘Tree Partitionings’
The key notion for modelling calendar systems and many other periodic temporal notion is the mathematical concept of a partitioning of the real numbers. A partitioning of R splits the time axis into a sequence of intervals. Basic time units like seconds, minutes, hours, days, weeks, months, years etc. can all be represented as partitionings of R with finite partitions. Besides the basic time un...
متن کاملComputational Treatment of Temporal Notions: The CTTN-System
The CTTN-system is a computer program which provides advanced processing or temporal notions. The basic data structures of the CTTN-system are time points, crisp and fuzzy time intervals, labelled partitionings of the time line, durations, and calendar systems. The labelled partitionings are used to model periodic temporal notions, quite regular ones like years, months etc., partially regular o...
متن کاملGeotemporal Reasoning: Basic Theory
This deliverable contains a detailed description of the bottom layers of the WebCal system for representing and manipulating ‘geotemporal’ information. The basic components are the FuTIRe library for representing fuzzy temporal intervals, the PartLib library for representing periodic temporal notions, and the mixed function layer, which deals with operations involving temporal intervals and per...
متن کاملGeTS - A Specification Language for Geo-Temporal Notions
This document describes the ‘Geo-Temporal’ specification language GeTS. The objects which can be described and manipulated with this language are time points, crisp and fuzzy time intervals and labelled partitionings of the time axis. The partitionings are used to represent periodic temporal notions like months, semesters etc. GeTS is essentially a typed functional language with a few imperativ...
متن کامل